Essentially periodic ordered groups

Ordered O-stable Groups

An ordered structure M is called o-λ-stable if for any subset A with |A| ≤ λ and for any cut in M there are at most λ 1-types over A which are consistent with the cut. It is proved in the paper that an ordered o-stable group is abelian. Also there were investigated definable subsets and unary functions of o-stable groups.

On Ordered Polycyclic Groups

It has been asserted that any (full) order on a torsion-free, finitely generated, nilpotent group is defined by some F-basis of G and that the group of o-automorphisms of such a group is itself a group of the same kind: Examples provided herein demonstrate that both of these assertions are false; however, it is proved that the group of o-automorphisms of an ordered, polycyclic group is nilpoten...

Characterizing automorphism groups of ordered abelian groups

In this short note we want to characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of abelian groups, see [2]. Recall that H is a right ordered group (RO-group) if (H, ·) is a group and (H,<) is a linear order satisfying...

Reverse Mathematics and Ordered Groups

Lattice-ordered reduced special groups

Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups (RSG) which are a lattice under their natural representation partial order (for moti...